21![Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden Type-Based Reasoning and Imprecise Errors Janis Voigtl¨ ander Technische Universit¨ at Dresden](https://www.pdfsearch.io/img/30fe8bd09e71f58fd8a2684249b599a1.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
22![Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD Handles: Behavior-Propagating First Class References For Dynamically-Typed Languages accepted to Science of Computer Programming Jean-Baptiste Arnauda , Stéphane Ducassea , Marcus Denkera , Camille Teruela a RMoD](https://www.pdfsearch.io/img/98bd0ad20769768b26089cd13e59ccf7.jpg) | Add to Reading ListSource URL: rmod.inria.frLanguage: English - Date: 2015-11-03 10:16:25
|
---|
23![Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016 Presburger Formulas and Polyhedral Compilation v0.02 Sven Verdoolaege Polly Labs and KU Leuven January 15, 2016](https://www.pdfsearch.io/img/4df5f121a3713a3c2479dd6caa0249f2.jpg) | Add to Reading ListSource URL: lirias.kuleuven.beLanguage: English - Date: 2016-01-16 02:32:56
|
---|
24![How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany](https://www.pdfsearch.io/img/45b41529abf60b1810593806dc5d07be.jpg) | Add to Reading ListSource URL: repository.readscheme.orgLanguage: English - Date: 2010-10-22 08:04:37
|
---|
25![Package ‘MSnbase’ June 29, 2016 Title Base Functions and Classes for MS-based Proteomics VersionDescription Basic plotting, data manipulation and processing of MS-based Proteomics data. Package ‘MSnbase’ June 29, 2016 Title Base Functions and Classes for MS-based Proteomics VersionDescription Basic plotting, data manipulation and processing of MS-based Proteomics data.](https://www.pdfsearch.io/img/0ffdd07f804e9a964207bfce204676d4.jpg) | Add to Reading ListSource URL: bioconductor.orgLanguage: English - Date: 2016-06-29 15:15:31
|
---|
26![Combining Programming with Theorem Proving Chiyan Chen and Combining Programming with Theorem Proving Chiyan Chen and](https://www.pdfsearch.io/img/cf68a0d523e10940fab61b0551d40886.jpg) | Add to Reading ListSource URL: www.cs.bu.eduLanguage: English - Date: 2005-11-01 11:55:41
|
---|
27![Software engineering / Data types / Computing / Object-oriented programming / Type theory / Const / Object / Identifier / Subtyping / Pointing stick Software engineering / Data types / Computing / Object-oriented programming / Type theory / Const / Object / Identifier / Subtyping / Pointing stick](/pdf-icon.png) | Add to Reading ListSource URL: www.kartverket.noLanguage: English - Date: 2015-07-22 04:38:38
|
---|
28![Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander Type-Based Reasoning about Efficiency D. Seidel∗ J. Voigtl¨ander](https://www.pdfsearch.io/img/a86a544f870988de1fde8f4ca27835da.jpg) | Add to Reading ListSource URL: www.janis-voigtlaender.euLanguage: English - Date: 2016-08-01 05:50:10
|
---|
29![Introduction to Smalltalk - Chapter 7 - Introduction to Collections Ivan TomekChapter 7 - Introduction to Collections Overview Introduction to Smalltalk - Chapter 7 - Introduction to Collections Ivan TomekChapter 7 - Introduction to Collections Overview](https://www.pdfsearch.io/img/f9aaa0c1d6326d2c2563371ea43a2976.jpg) | Add to Reading ListSource URL: sdmeta.gforge.inria.frLanguage: English - Date: 2014-10-09 10:38:17
|
---|